<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: Package SystemSharp.Analysis</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li class="current"><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="namespacemembers.html"><span>Package&#160;Functions</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('namespace_system_sharp_1_1_analysis.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="summary">
<a href="#namespaces">Namespaces</a> &#124;
<a href="#nested-classes">Classes</a> &#124;
<a href="#enum-members">Enumerations</a>  </div>
  <div class="headertitle">
<div class="title">Package SystemSharp.Analysis</div>  </div>
</div><!--header-->
<div class="contents">
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
Namespaces</h2></td></tr>
<tr class="memitem:namespace_system_sharp_1_1_analysis_1_1_c2_m"><td class="memItemLeft" align="right" valign="top">package &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis_1_1_c2_m.html">C2M</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:namespace_system_sharp_1_1_analysis_1_1_m2_m"><td class="memItemLeft" align="right" valign="top">package &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis_1_1_m2_m.html">M2M</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:namespace_system_sharp_1_1_analysis_1_1_msil"><td class="memItemLeft" align="right" valign="top">package &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis_1_1_msil.html">Msil</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_async_method_custom_instruction_info.html">AsyncMethodCustomInstructionInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class modifies the behavior of ILInstruction info in the context of calling asynchronous methods: It detects the code pattern "call get_IsCompleted; brtrue ...". In those cases, brtrue is not classified as a conditional branch but as either no branch or unconditional branch, depending on whether get_IsCompleted is assumed to return always true or always false.  <a href="class_system_sharp_1_1_analysis_1_1_async_method_custom_instruction_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_join_params.html">JoinParams</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Very preliminary and subject to change, therefore not documented, sorry...  <a href="class_system_sharp_1_1_analysis_1_1_join_params.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_state_info.html">StateInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Very preliminary and subject to change, therefore not documented, sorry...  <a href="class_system_sharp_1_1_analysis_1_1_state_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_proceed_with_state_info.html">ProceedWithStateInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Very preliminary and subject to change, therefore not documented, sorry...  <a href="class_system_sharp_1_1_analysis_1_1_proceed_with_state_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_co_f_s_m.html">CoFSM</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Very preliminary and subject to change, therefore not documented, sorry...  <a href="class_system_sharp_1_1_analysis_1_1_co_f_s_m.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="struct_system_sharp_1_1_analysis_1_1_co_f_s_ms.html">CoFSMs</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Very preliminary and subject to change, therefore not documented, sorry...  <a href="struct_system_sharp_1_1_analysis_1_1_co_f_s_ms.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_state_target_finder.html">StateTargetFinder</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_async_state_machines.html">AsyncStateMachines</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_tick_attribute.html">TickAttribute</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">The tick attribute is used to tag the Component.Tick() method which models a single clock step.  <a href="class_system_sharp_1_1_analysis_1_1_tick_attribute.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_rewrite_get_result.html">RewriteGetResult</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class rewrites calls to the GetResult() method in the async implementation pattern, supporting the correct decompilation of async methods.  <a href="class_system_sharp_1_1_analysis_1_1_rewrite_get_result.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_rewrite_is_completed.html">RewriteIsCompleted</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class rewrites calls to the IsCompleted property in the async implementation pattern, supporting the correct decompilation of async methods.  <a href="class_system_sharp_1_1_analysis_1_1_rewrite_is_completed.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_async_method_decompiler.html">AsyncMethodDecompiler</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class provides functionality to decompile async methods.  <a href="class_system_sharp_1_1_analysis_1_1_async_method_decompiler.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">BehavioralAnalyzer</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction.html">IInstruction</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This interface associates instructions with a unique, 0-based indices  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction_resource.html">IInstructionResource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract representation of a resource which might be accessed by an instruction  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction_resource.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_instruction_info_3_01_ti_01_4.html">IInstructionInfo&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Generic interface for services classifying instructions of some type  <a href="interface_system_sharp_1_1_analysis_1_1_i_instruction_info_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_instruction_info_extensions.html">InstructionInfoExtensions</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_reference_info.html">ReferenceInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures information on instructions which reference memory locations (i.e. indirections)  <a href="class_system_sharp_1_1_analysis_1_1_reference_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_extended_instruction_info_3_01_ti_01_4.html">IExtendedInstructionInfo&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">An extended instruction information service, supporting information on instructions dealing with memory locations  <a href="interface_system_sharp_1_1_analysis_1_1_i_extended_instruction_info_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_control_flow_graph_3_01_ti_01_4.html">ControlFlowGraph&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This data structure represents a control-flow graph  <a href="class_system_sharp_1_1_analysis_1_1_control_flow_graph_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_basic_block_3_01_ti_01_4.html">BasicBlock&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class represents a basic block.  <a href="class_system_sharp_1_1_analysis_1_1_basic_block_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_var_assignment_set.html">VarAssignmentSet</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures the set of reaching definitions for each variable of a given context  <a href="class_system_sharp_1_1_analysis_1_1_var_assignment_set.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_break_on_dataflow_analysis.html">BreakOnDataflowAnalysis</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">A debugging aid: Any method tagged with this attribute will cause the analysis stage to trigger a breakpoint before data-flow analysis.  <a href="class_system_sharp_1_1_analysis_1_1_break_on_dataflow_analysis.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_dataflow_analyzer_3_01_ti_01_4.html">DataflowAnalyzer&lt; Ti &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class implements a data-flow analysis on a given control-flow graph.  <a href="class_system_sharp_1_1_analysis_1_1_dataflow_analyzer_3_01_ti_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_decompiler_control.html">DecompilerControl</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html">IAssumeCalled</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marker interface which instructs design analysis stage to assume that a certain method is called, taking all side effects into account which could arise from calling that method.  <a href="interface_system_sharp_1_1_analysis_1_1_i_assume_called.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_assume_called.html">AssumeCalled</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Any method marked with this attribute is assumed to be called during design runtime, taking all side effects into account which could arise from calling that method.  <a href="class_system_sharp_1_1_analysis_1_1_assume_called.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_assume_const.html">AssumeConst</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Any field marked with this attribute is assumed to stay constant throughout design runtime  <a href="class_system_sharp_1_1_analysis_1_1_assume_const.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html">IOnMethodDiscovery</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This marker interface instructs design analysis to call OnDiscovery method upon discovery of tagged method.  <a href="interface_system_sharp_1_1_analysis_1_1_i_on_method_discovery.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html">IOnMethodCall</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This marker interface instructs design analysis to call OnMethodCall upon each occurence of a call to a tagged method.  <a href="interface_system_sharp_1_1_analysis_1_1_i_on_method_call.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html">BreakOnMethodDiscovery</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This is a debugging aid: Each method tagged with this attribute causes design analysis to trigger a breakpoint when the tagged method is discovered.  <a href="class_system_sharp_1_1_analysis_1_1_break_on_method_discovery.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html">IOnTypeDiscovery</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This marker interface instructs design analysis to call OnDiscovery whenever a tagged type is discovered.  <a href="interface_system_sharp_1_1_analysis_1_1_i_on_type_discovery.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html">BreakOnTypeDiscovery</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This is a debugging aid: Each type tagged with this attribute causes design analysis to trigger a breakpoint when the tagged type is discovered.  <a href="class_system_sharp_1_1_analysis_1_1_break_on_type_discovery.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures information on all relevant objects discovered during analysis, i.e. types, instantiated classes, called methods, and memory allocations.  <a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_field_facts.html">FieldFacts</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures the information available on a particular field  <a href="class_system_sharp_1_1_analysis_1_1_field_facts.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_guarded_argument.html">IGuardedArgument</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This marker interface instructs the decompiler to possibly modify a method argument sample  <a href="interface_system_sharp_1_1_analysis_1_1_i_guarded_argument.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_guarded_argument_attribute.html">GuardedArgumentAttribute</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This attribute provides an abstract implementation of the <a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_guarded_argument.html" title="This marker interface instructs the decompiler to possibly modify a method argument sample ...">IGuardedArgument</a> interface  <a href="class_system_sharp_1_1_analysis_1_1_guarded_argument_attribute.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_facts.html">MethodFacts</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class provides analysis information on methods and constructors.  <a href="class_system_sharp_1_1_analysis_1_1_method_facts.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_ordering.html">MethodOrdering</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This helper class implements a depth-first search over the call tree of all methods  <a href="class_system_sharp_1_1_analysis_1_1_method_ordering.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_op_code_reflector.html">OpCodeReflector</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This helper class is for enumerating CIL opcodes  <a href="class_system_sharp_1_1_analysis_1_1_op_code_reflector.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_i_l_instruction_info.html">ILInstructionInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class implements the classification service for CIL instructions  <a href="class_system_sharp_1_1_analysis_1_1_i_l_instruction_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_break_on_controlflow_analysis.html">BreakOnControlflowAnalysis</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This is a debugging aid: Any method or constructor which this attribute attached will cause design analysis to trigger a breakpoint before control-flow analysis is performed.  <a href="class_system_sharp_1_1_analysis_1_1_break_on_controlflow_analysis.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_code.html">MethodCode</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">A control-flow graph specialization for CLI methods  <a href="class_system_sharp_1_1_analysis_1_1_method_code.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_code_block.html">MSILCodeBlock</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">A specialization for basic blocks of CLI methods  <a href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_code_block.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_on_decompilation.html">IOnDecompilation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This marker interface instructs the decompiler to call OnDecompilation just before decompilation starts.  <a href="interface_system_sharp_1_1_analysis_1_1_i_on_decompilation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_break_on_decompilation.html">BreakOnDecompilation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This is a debugging aid: Any method or constructor having this attribute attached causes the decompiler to trigger a breakpoint just before decompilation starts.  <a href="class_system_sharp_1_1_analysis_1_1_break_on_decompilation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_function_ref.html">MSILFunctionRef</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures a reference to a CLI method call, implementing <a class="el" href="namespace_system_sharp_1_1_sys_d_o_m.html">SysDOM</a>'s ICallable interface  <a href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_function_ref.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">MethodCallInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class gathers contextual information about a method call.  <a href="class_system_sharp_1_1_analysis_1_1_method_call_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html">FieldRefInfo</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class provides contextual information to an instruction which references a field.  <a href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_assignment_info.html">AssignmentInfo</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="struct_system_sharp_1_1_analysis_1_1_stack_element.html">StackElement</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This structure represents a stack element, which is identified by a symbolic expression and a value sample.  <a href="struct_system_sharp_1_1_analysis_1_1_stack_element.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_decompiler.html">IDecompiler</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This interface models the decompiler functionality. It is intended to be used inside method rewriters.  <a href="interface_system_sharp_1_1_analysis_1_1_i_decompiler.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_decompiler_contract_class.html">DecompilerContractClass</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This dummy class is only there to make Code Contracts happy.  <a href="class_system_sharp_1_1_analysis_1_1_decompiler_contract_class.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_decompiler_stacks.html">DecompilerStacks</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class is for creating a private <a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_decompiler.html" title="This interface models the decompiler functionality. It is intended to be used inside method rewriters...">IDecompiler</a> implementation, using its own stack.  <a href="class_system_sharp_1_1_analysis_1_1_decompiler_stacks.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_local_variable_state.html">LocalVariableState</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class captures the contents of a set of local variables for some program state.  <a href="class_system_sharp_1_1_analysis_1_1_local_variable_state.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_i_l_index_ref.html">ILIndexRef</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Represents a unique program location, specified by a method and instruction index, including the call stack of program locations.  <a href="class_system_sharp_1_1_analysis_1_1_i_l_index_ref.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler_template.html">MSILDecompilerTemplate</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">The decompiler context. This huge class implements the actual decompilation algorithms.  <a href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler_template.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_decompilation_result.html">IDecompilationResult</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This interface models the result of a decompilation  <a href="interface_system_sharp_1_1_analysis_1_1_i_decompilation_result.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler.html">MSILDecompiler</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class represents a decompiler for CLI methods  <a href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_program_flow.html">ProgramFlow</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This class provides static methods which affect the degree of parallelization after decompilation and reassembly  <a href="class_system_sharp_1_1_analysis_1_1_program_flow.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source.html">ElementSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">This base class is intended as a symbolic abstraction of any data item. As opposed to <a class="el" href="namespace_system_sharp_1_1_sys_d_o_m.html">SysDOM</a> expressions, the intent is to track references and pointers on their way through program code.  <a href="class_system_sharp_1_1_analysis_1_1_element_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_object_source.html">ObjectSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract base class for any item which is a CLI System.Object  <a href="class_system_sharp_1_1_analysis_1_1_object_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_pointer_source.html">PointerSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract base class for any item which is a pointer  <a href="class_system_sharp_1_1_analysis_1_1_pointer_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_internal_source.html">IInternalSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks data items which are only valid inside the executing method  <a href="interface_system_sharp_1_1_analysis_1_1_i_internal_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_terminal_source.html">ITerminalSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks items which directly describe the origin of data  <a href="interface_system_sharp_1_1_analysis_1_1_i_terminal_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_trackable_source.html">ITrackableSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks data items which can be further tracked until an <a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_terminal_source.html" title="Marks items which directly describe the origin of data ">ITerminalSource</a> is reached  <a href="interface_system_sharp_1_1_analysis_1_1_i_trackable_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_dereferenceable_source.html">IDereferenceableSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a trackable data item whose tracking operation if dereferencing  <a href="interface_system_sharp_1_1_analysis_1_1_i_dereferenceable_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_method_remappable.html">IMethodRemappable</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which must be remapped to more concrete method  <a href="interface_system_sharp_1_1_analysis_1_1_i_method_remappable.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_method_remappable_3_01_t_01_4.html">IMethodRemappable&lt; T &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which must be remapped to more concrete method  <a href="interface_system_sharp_1_1_analysis_1_1_i_method_remappable_3_01_t_01_4.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_method_argument_source.html">IMethodArgumentSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which stems from a method argument  <a href="interface_system_sharp_1_1_analysis_1_1_i_method_argument_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_resolvable_source.html">IResolvableSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a trackable data item which can be resolved in order to retrieve its possible contents  <a href="interface_system_sharp_1_1_analysis_1_1_i_resolvable_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_hosted_source.html">IHostedSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which lives inside an instance. E.g. a field content cannot exist for itself.  <a href="interface_system_sharp_1_1_analysis_1_1_i_hosted_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_mutable_source.html">IMutableSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which can be modified during runtime  <a href="interface_system_sharp_1_1_analysis_1_1_i_mutable_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_mutation_source.html">IMutationSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a data item which can be used to modify other data items  <a href="interface_system_sharp_1_1_analysis_1_1_i_mutation_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_modifies_stack_state.html">IModifiesStackState</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Marks a modification which alters the stack state in some way  <a href="interface_system_sharp_1_1_analysis_1_1_i_modifies_stack_state.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">interface &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="interface_system_sharp_1_1_analysis_1_1_i_method_location.html">IMethodLocation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a program location inside a method  <a href="interface_system_sharp_1_1_analysis_1_1_i_method_location.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_element_source_helpers.html">ElementSourceHelpers</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_no_ref_source.html">NoRefSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is not an object and not a pointer  <a href="class_system_sharp_1_1_analysis_1_1_no_ref_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_any_pointer_source.html">AnyPointerSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is a not further specified pointer  <a href="class_system_sharp_1_1_analysis_1_1_any_pointer_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_null_source.html">NullSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the null reference  <a href="class_system_sharp_1_1_analysis_1_1_null_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_type_token_source.html">TypeTokenSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a CLI type token  <a href="class_system_sharp_1_1_analysis_1_1_type_token_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_string_source.html">StringSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a string literal  <a href="class_system_sharp_1_1_analysis_1_1_string_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_const_object_source.html">ConstObjectSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a somehow constant object  <a href="class_system_sharp_1_1_analysis_1_1_const_object_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_field_source.html">FieldSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a field content  <a href="class_system_sharp_1_1_analysis_1_1_field_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_address_of_field_source.html">AddressOfFieldSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the address of a field  <a href="class_system_sharp_1_1_analysis_1_1_address_of_field_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_allocation_site.html">AllocationSite</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a program location where a new object is allocated  <a href="class_system_sharp_1_1_analysis_1_1_allocation_site.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_new_site.html">NewSite</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a program location where a non-array object is allocated  <a href="class_system_sharp_1_1_analysis_1_1_new_site.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_new_array_site.html">NewArraySite</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a program location where a new array is allocated  <a href="class_system_sharp_1_1_analysis_1_1_new_array_site.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_box_site.html">BoxSite</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a program location where a value type is boxed  <a href="class_system_sharp_1_1_analysis_1_1_box_site.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_argument_source.html">ArgumentSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which stems from a method argument  <a href="class_system_sharp_1_1_analysis_1_1_argument_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_ref_argument_source.html">RefArgumentSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which stems from a method argument passed by reference  <a href="class_system_sharp_1_1_analysis_1_1_ref_argument_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_argument_return_source.html">ArgumentReturnSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is a method argument used to return data to the caller (i.e. passed by reference)  <a href="class_system_sharp_1_1_analysis_1_1_argument_return_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_address_of_argument_source.html">AddressOfArgumentSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is the address of a method argument  <a href="class_system_sharp_1_1_analysis_1_1_address_of_argument_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_this_source.html">ThisSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the instance on which a method operates (i.e. "this")  <a href="class_system_sharp_1_1_analysis_1_1_this_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_this_pointer_source.html">ThisPointerSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the instance on which the method of a value type operates. Such an instance is formally a pointer, not an object.  <a href="class_system_sharp_1_1_analysis_1_1_this_pointer_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_array_element_source.html">ArrayElementSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is an array element  <a href="class_system_sharp_1_1_analysis_1_1_array_element_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_address_of_array_element_source.html">AddressOfArrayElementSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is the address of an array element  <a href="class_system_sharp_1_1_analysis_1_1_address_of_array_element_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_method_return_source.html">MethodReturnSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is the return value of a method  <a href="class_system_sharp_1_1_analysis_1_1_method_return_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_address_of_local_variable_source.html">AddressOfLocalVariableSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is the address of a local variable  <a href="class_system_sharp_1_1_analysis_1_1_address_of_local_variable_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_deref_source.html">DerefSource</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes a data item which is the result of dereferencing another data item  <a href="class_system_sharp_1_1_analysis_1_1_deref_source.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_element_mutation.html">ElementMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract base class for describing data modifications  <a href="class_system_sharp_1_1_analysis_1_1_element_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_store_field_mutation.html">StoreFieldMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the data modification of storing some value to a field  <a href="class_system_sharp_1_1_analysis_1_1_store_field_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_write_array_mutation.html">WriteArrayMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the data modification of replacing an array element  <a href="class_system_sharp_1_1_analysis_1_1_write_array_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_indirect_mutation.html">IndirectMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the data modification of writing some value to a memory location  <a href="class_system_sharp_1_1_analysis_1_1_indirect_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_local_mutation.html">LocalMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract base class for data modifications inside the local scope of a method  <a href="class_system_sharp_1_1_analysis_1_1_local_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_local_variable_mutation.html">LocalVariableMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the data modification of writing some value to a local variable  <a href="class_system_sharp_1_1_analysis_1_1_local_variable_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_argument_mutation.html">ArgumentMutation</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the data modification of writing some value to a method argument  <a href="class_system_sharp_1_1_analysis_1_1_argument_mutation.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_indirect_load.html">IndirectLoad</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes the result of reading from a memory location  <a href="class_system_sharp_1_1_analysis_1_1_indirect_load.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_system_sharp_1_1_analysis_1_1_type_facts.html">TypeFacts</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Describes context information on types used during runtime  <a href="class_system_sharp_1_1_analysis_1_1_type_facts.html#details">More...</a><br/></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="enum-members"></a>
Enumerations</h2></td></tr>
<tr class="memitem:aa6f8201151ffe82473815bec5267a43f"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#aa6f8201151ffe82473815bec5267a43f">EAsyncImplStyle</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#aa6f8201151ffe82473815bec5267a43faa7e82daa7280af25afbaa076ac16eb1e">EAsyncImplStyle.Sequential</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#aa6f8201151ffe82473815bec5267a43fa7a5912423e6c9aea0b4ddddc7ca8d850">EAsyncImplStyle.FSM</a>
 }</td></tr>
<tr class="memdesc:aa6f8201151ffe82473815bec5267a43f"><td class="mdescLeft">&#160;</td><td class="mdescRight">The decompilation style of async methods  <a href="namespace_system_sharp_1_1_analysis.html#aa6f8201151ffe82473815bec5267a43f">More...</a><br/></td></tr>
<tr class="separator:aa6f8201151ffe82473815bec5267a43f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2">EInstructionClass</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2adacdb83ade6c4e8878717e206175dfd8">EInstructionClass.Branch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2a003ad240907f30f029b30e4afbbb0e6d">EInstructionClass.LocalVariableAccess</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2ac3755e61202abd74da5885d2e9c9160e">EInstructionClass.Call</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2a6311ae17c1ee52b36e68aaf4ad066387">EInstructionClass.Other</a>
 }</td></tr>
<tr class="memdesc:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2">More...</a><br/></td></tr>
<tr class="separator:a07cc6c00d393e2c4e350d74e0d9804c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1">EBranchBehavior</a> { <br/>
&#160;&#160;<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1ac7a99bc13d9a899dad0e6372da96d3ac">EBranchBehavior.NoBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a5ee075c892e8b140f5c5ffdccb27b28b">EBranchBehavior.UBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a4a7aa8e5bec284d6af34bd57ce4e9ea6">EBranchBehavior.CBranch</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1abbc155fb2b111bf61c4f5ff892915e6b">EBranchBehavior.Switch</a>, 
<br/>
&#160;&#160;<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a988fd738de9c6d177440c5dcf69e73ce">EBranchBehavior.Return</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1a8ce61dd2505effd96f937fa743b6491f">EBranchBehavior.Throw</a>
<br/>
 }</td></tr>
<tr class="memdesc:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies branch instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1">More...</a><br/></td></tr>
<tr class="separator:ae5c60204e0a023c83ac9abaf2bf3c6e1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a5ebdc38449ace206f5d7a926a47adb48"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48">ELocalVariableAccess</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a88a12f09800c497f30b98781952b50f2">ELocalVariableAccess.NoAccess</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a99302f479550c659a7461577136d7fa6">ELocalVariableAccess.ReadVariable</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a114757c38419c9fc8c3811768d549204">ELocalVariableAccess.WriteVariable</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48a33b51eacb1cd95814bc38547576081ee">ELocalVariableAccess.AddressOfVariable</a>
 }</td></tr>
<tr class="memdesc:a5ebdc38449ace206f5d7a926a47adb48"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies local variable access instructions into categories  <a href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48">More...</a><br/></td></tr>
<tr class="separator:a5ebdc38449ace206f5d7a926a47adb48"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a297a1358d9e61ee4fce1cae42d391a11"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11">EInstructionResourceAccess</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11a81e124c25b261c366509c30962a4a7fd">EInstructionResourceAccess.NoResource</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11a26fccddf2f94b1685b184267996e10f8">EInstructionResourceAccess.Reading</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11aaf96ab416602c6852b1ba5201feaacf6">EInstructionResourceAccess.Writing</a>
 }</td></tr>
<tr class="memdesc:a297a1358d9e61ee4fce1cae42d391a11"><td class="mdescLeft">&#160;</td><td class="mdescRight">Classifies resource accesses into categories  <a href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11">More...</a><br/></td></tr>
<tr class="separator:a297a1358d9e61ee4fce1cae42d391a11"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a5afaccee1c5869e7eccea81e8f5adfa7"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">EMethodDiscoveryStage</a> { <a class="el" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7ac36cc19496625cbf9888299bf4987a4d">EMethodDiscoveryStage.FirstDiscovery</a>, 
<a class="el" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7a643562a9ae7099c8aabfdc93478db117">EMethodDiscoveryStage.Processing</a>
 }</td></tr>
<tr class="memdesc:a5afaccee1c5869e7eccea81e8f5adfa7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Processing stage of a method during design analysis  <a href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">More...</a><br/></td></tr>
<tr class="separator:a5afaccee1c5869e7eccea81e8f5adfa7"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<h2 class="groupheader">Enumeration Type Documentation</h2>
<a class="anchor" id="aa6f8201151ffe82473815bec5267a43f"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#aa6f8201151ffe82473815bec5267a43f">SystemSharp.Analysis.EAsyncImplStyle</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>The decompilation style of async methods </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="aa6f8201151ffe82473815bec5267a43faa7e82daa7280af25afbaa076ac16eb1e"></a>Sequential</em>&#160;</td><td class="fielddoc">
<p>The method should be decompiled to a sequential representation, resembling very much the original notation </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="aa6f8201151ffe82473815bec5267a43fa7a5912423e6c9aea0b4ddddc7ca8d850"></a>FSM</em>&#160;</td><td class="fielddoc">
<p>The method should be decompiled to an explicit finite state machine representation </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_async_state_machines_8cs_source.html#l00198">198</a> of file <a class="el" href="_async_state_machines_8cs_source.html">AsyncStateMachines.cs</a>.</p>

</div>
</div>
<a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#ae5c60204e0a023c83ac9abaf2bf3c6e1">SystemSharp.Analysis.EBranchBehavior</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Classifies branch instructions into categories </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1ac7a99bc13d9a899dad0e6372da96d3ac"></a>NoBranch</em>&#160;</td><td class="fielddoc">
<p>Not a branch instruction </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1a5ee075c892e8b140f5c5ffdccb27b28b"></a>UBranch</em>&#160;</td><td class="fielddoc">
<p>Unconditional branch </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1a4a7aa8e5bec284d6af34bd57ce4e9ea6"></a>CBranch</em>&#160;</td><td class="fielddoc">
<p>Conditional branch </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1abbc155fb2b111bf61c4f5ff892915e6b"></a>Switch</em>&#160;</td><td class="fielddoc">
<p>Switch (i.e. case select) instruction </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1a988fd738de9c6d177440c5dcf69e73ce"></a>Return</em>&#160;</td><td class="fielddoc">
<p>Method return instruction </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="ae5c60204e0a023c83ac9abaf2bf3c6e1a8ce61dd2505effd96f937fa743b6491f"></a>Throw</em>&#160;</td><td class="fielddoc">
<p>Exception throw instruction </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_controlflow_analysis_8cs_source.html#l00066">66</a> of file <a class="el" href="_controlflow_analysis_8cs_source.html">ControlflowAnalysis.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a07cc6c00d393e2c4e350d74e0d9804c2"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#a07cc6c00d393e2c4e350d74e0d9804c2">SystemSharp.Analysis.EInstructionClass</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Classifies instructions into categories </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="a07cc6c00d393e2c4e350d74e0d9804c2adacdb83ade6c4e8878717e206175dfd8"></a>Branch</em>&#160;</td><td class="fielddoc">
<p>A branch instruction </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a07cc6c00d393e2c4e350d74e0d9804c2a003ad240907f30f029b30e4afbbb0e6d"></a>LocalVariableAccess</em>&#160;</td><td class="fielddoc">
<p>An access to a local variable </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a07cc6c00d393e2c4e350d74e0d9804c2ac3755e61202abd74da5885d2e9c9160e"></a>Call</em>&#160;</td><td class="fielddoc">
<p>A method call </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a07cc6c00d393e2c4e350d74e0d9804c2a6311ae17c1ee52b36e68aaf4ad066387"></a>Other</em>&#160;</td><td class="fielddoc">
<p>Everything else </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_controlflow_analysis_8cs_source.html#l00040">40</a> of file <a class="el" href="_controlflow_analysis_8cs_source.html">ControlflowAnalysis.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a297a1358d9e61ee4fce1cae42d391a11"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#a297a1358d9e61ee4fce1cae42d391a11">SystemSharp.Analysis.EInstructionResourceAccess</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Classifies resource accesses into categories </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="a297a1358d9e61ee4fce1cae42d391a11a81e124c25b261c366509c30962a4a7fd"></a>NoResource</em>&#160;</td><td class="fielddoc">
<p>Not a resource access </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a297a1358d9e61ee4fce1cae42d391a11a26fccddf2f94b1685b184267996e10f8"></a>Reading</em>&#160;</td><td class="fielddoc">
<p>Reading resource access </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a297a1358d9e61ee4fce1cae42d391a11aaf96ab416602c6852b1ba5201feaacf6"></a>Writing</em>&#160;</td><td class="fielddoc">
<p>Writing resource access </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_controlflow_analysis_8cs_source.html#l00141">141</a> of file <a class="el" href="_controlflow_analysis_8cs_source.html">ControlflowAnalysis.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a5ebdc38449ace206f5d7a926a47adb48"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#a5ebdc38449ace206f5d7a926a47adb48">SystemSharp.Analysis.ELocalVariableAccess</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Classifies local variable access instructions into categories </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="a5ebdc38449ace206f5d7a926a47adb48a88a12f09800c497f30b98781952b50f2"></a>NoAccess</em>&#160;</td><td class="fielddoc">
<p>Not a local variable access </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a5ebdc38449ace206f5d7a926a47adb48a99302f479550c659a7461577136d7fa6"></a>ReadVariable</em>&#160;</td><td class="fielddoc">
<p>Read access to local variable </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a5ebdc38449ace206f5d7a926a47adb48a114757c38419c9fc8c3811768d549204"></a>WriteVariable</em>&#160;</td><td class="fielddoc">
<p>Write acces to local variable </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a5ebdc38449ace206f5d7a926a47adb48a33b51eacb1cd95814bc38547576081ee"></a>AddressOfVariable</em>&#160;</td><td class="fielddoc">
<p>Address of local variable </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_controlflow_analysis_8cs_source.html#l00102">102</a> of file <a class="el" href="_controlflow_analysis_8cs_source.html">ControlflowAnalysis.cs</a>.</p>

</div>
</div>
<a class="anchor" id="a5afaccee1c5869e7eccea81e8f5adfa7"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">enum <a class="el" href="namespace_system_sharp_1_1_analysis.html#a5afaccee1c5869e7eccea81e8f5adfa7">SystemSharp.Analysis.EMethodDiscoveryStage</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Processing stage of a method during design analysis </p>
<table class="fieldtable">
<tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><em><a class="anchor" id="a5afaccee1c5869e7eccea81e8f5adfa7ac36cc19496625cbf9888299bf4987a4d"></a>FirstDiscovery</em>&#160;</td><td class="fielddoc">
<p>The method is discovered for the first time </p>
</td></tr>
<tr><td class="fieldname"><em><a class="anchor" id="a5afaccee1c5869e7eccea81e8f5adfa7a643562a9ae7099c8aabfdc93478db117"></a>Processing</em>&#160;</td><td class="fielddoc">
<p>The method is now ready for processing </p>
</td></tr>
</table>

<p>Definition at line <a class="el" href="_fact_universe_8cs_source.html#l00069">69</a> of file <a class="el" href="_fact_universe_8cs_source.html">FactUniverse.cs</a>.</p>

</div>
</div>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="namespace_system_sharp.html">SystemSharp</a></li><li class="navelem"><a class="el" href="namespace_system_sharp_1_1_analysis.html">Analysis</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:50 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
